Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Fix the automation for merged/closed PRs #8791

Merged

Conversation

jeffhandley
Copy link
Member

@jeffhandley jeffhandley commented Feb 9, 2024

This is follow-up to #8767. Automation related to closed/merged PRs was not working because of an issue in the migration where there wasn't a condition for checking if a PR was merged. The 'merged' action was carried over as 'Null' in the previous PR.

Microsoft Reviewers: Open in CodeFlow

@jeffhandley jeffhandley requested a review from a team as a code owner February 9, 2024 02:26
@dotnet-policy-service dotnet-policy-service bot added the PR metadata: Label to tag PRs, to facilitate with triage label Feb 9, 2024
@singhashish-wpf singhashish-wpf merged commit 0b4cb73 into dotnet:main Feb 9, 2024
9 checks passed
@jeffhandley jeffhandley deleted the jeffhandley/merged-prs-automation branch February 10, 2024 00:37
@github-actions github-actions bot locked and limited conversation to collaborators Mar 11, 2024
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
PR metadata: Label to tag PRs, to facilitate with triage
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants